Instance Verification Kit (IVK)

spin lock @ [10940+22+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
net2272_dequeue [24957+15+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_dequeue_all [24634+19+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_disable [8941+15+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_done [10106+12+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_handle_dma [39388+18+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_handle_stat0_irqs [44686+25+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_handle_stat1_irqs [52175+25+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_irq [53687+11+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_queue [21948+13+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_read_fifo [14829+17+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_stop [38858+12+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_write_fifo [12013+18+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
stop_activity [38282+13+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]